Church–Turing thesis - PDFSEARCH.IO - Document Search Engine

Church–Turing thesis
Results: 76

#	Item
31	La d´ecouverte de la calculabilit´e L. De Mol Generating, solving and the mathematics of Homo Sapiens. Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-11-23 05:32:01 Mathematics Theory of computation Alan Turing Models of computation Church–Turing thesis Turing machine Halting problem Computable function Algorithm Computability theory Theoretical computer science Computer science
32	Generating, solving and the mathematics of Homo Sapiens. Emil Post’s views on computation Liesbeth De Mol∗ [removed] “For if symbolic logic has failed to give wings to mathematicians this study of Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-11-29 04:43:49 Computer science Theory of computation Church–Turing thesis Computable function Halting problem Entscheidungsproblem Turing machine Emil Leon Post Computable number Theoretical computer science Computability theory Mathematics
33	Automata theory Regular Cost Functions Contributions of the thesis Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2013-05-09 10:09:21 Computability theory Theory of computation Automata theory Models of computation Church–Turing thesis Algorithm Decidability Finite-state machine P Theoretical computer science Computer science Applied mathematics
34	arXiv:1312.4455v1 [quant-ph] 16 Dec[removed]The Universe as Quantum Computer Seth Lloyd Department of Mechanical Engineering Massachusetts Institute of Technology Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-12-16 20:26:09 Theory of computation Computability theory Alan Turing Turing machine Digital physics Church–Turing thesis Computational complexity theory Computation Halting problem Theoretical computer science Computer science Mathematics
35	Quantum theory, the Church-Turing principle and the universal quantum computer DAVID D EUTSCH Appeared in Proceedings of the Royal Society of London A 400, pp[removed]y (Communicated by R. Penrose, F.R.S. — Rece Add to Reading List Source URL: folk.uio.no Language: English - Date: 2005-09-12 05:30:31 Theory of computation Applied mathematics Turing machine Models of computation Alan Turing Church–Turing thesis Church–Turing–Deutsch principle Computable function Computability Theoretical computer science Computer science Computability theory
36	Automata theory Regular Cost Functions Contributions of the thesis Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2013-03-08 11:06:55 Computability theory Automata theory Theory of computation Models of computation Church–Turing thesis Finite-state machine Algorithm Decidability Krohn–Rhodes theory Theoretical computer science Computer science Mathematics
37	Automata theory Regular Cost Functions Contributions of the thesis Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-12-02 12:39:02 Mathematics Automata theory Models of computation Theory of computation Church–Turing thesis Finite-state machine Algorithm Decidability Krohn–Rhodes theory Theoretical computer science Computer science Computability theory
38	What is an algorithm? Yuri Gurevich Microsoft Research Technical Report MSR-TR[removed], July 2011 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-02-23 13:32:36 Computability theory Applied mathematics Alan Turing Formal methods Models of computation Algorithm Church–Turing thesis Computable function Turing machine Theoretical computer science Computer science Theory of computation
39	Asia Pacific Mathematics Newsletter Beyond Turing: Hypercomputation and Quantum Morphogenesis Ignazio Licata 1. “Purely Mechanical” Add to Reading List Source URL: www.asiapacific-mathnews.com Language: English - Date: 2012-08-01 02:03:02 Theory of computation Quantum mechanics Quantum information science Quantum measurement Computability theory Quantum computer Hypercomputation Church–Turing thesis Quantum information Theoretical computer science Physics Applied mathematics
40	Probability 1 computation with chemical reaction networks∗ Rachel Cummings† David Doty‡ David Soloveichik§ Add to Reading List Source URL: solo.ucsf.edu Language: English - Date: 2014-08-07 17:30:18 Computer science Theory of computation Models of computation Alan Turing Turing machine Computable function Church–Turing thesis Function Halting problem Theoretical computer science Computability theory Mathematics